Characterization of Modular Join-Semilattices
نویسندگان
چکیده
منابع مشابه
Modular and Distributive Semilattices
A modular semilattice is a semilattice S in which w > a A ft implies that there exist i,jeS such that x > a. y > b and x A y = x A w. This is equivalent to modularity in a lattice and in the semilattice of ideals of the semilattice, and the condition implies the Kurosh-Ore replacement property for irreducible elements in a semilattice. The main results provide extensions of the classical charac...
متن کاملJoin-semilattices with Two-dimensional Congruence Amalgamation
We say that a 〈∨, 0〉-semilattice S is conditionally co-Brouwerian, if (1) for all nonempty subsets X and Y of S such that X ≤ Y (i.e., x ≤ y for all 〈x, y〉 ∈ X × Y ), there exists z ∈ S such that X ≤ z ≤ Y , and (2) for every subset Z of S and all a, b ∈ S, if a ≤ b ∨ z for all z ∈ Z, then there exists c ∈ S such that a ≤ b ∨ c and c ≤ Z. By restricting this definition to subsets X , Y , and Z ...
متن کاملModular Reasoning with Join Point Interfaces Modular Reasoning with Join Point Interfaces
In current aspect-oriented systems, aspects usually carry, through their pointcuts, explicit references to the base code. Those references are fragile and give up important software engineering properties such as modular reasoning and independent evolution of aspects and base code. A well-studied solution to this problem consists in separating base code and aspects using an intermediate interfa...
متن کاملCongruence Lattices of Semilattices
The main result of this paper is that the class of congruence lattices of semilattices satisfies no nontrivial lattice identities. It is also shown that the class of subalgebra lattices of semilattices satisfies no nontrivial lattice identities. As a consequence it is shown that if 5^* is a semigroup variety all of whose congruence lattices satisfy some fixed nontrivial lattice identity, then a...
متن کاملSemilattices of Breadth Three
A 1984 problem of S. Z. Ditor asks whether there exists a lattice of cardinality א2, with zero, in which every principal ideal is finite and every element has at most three lower covers. We prove that the existence of such a lattice follows from either one of two axioms that are known to be independent of ZFC, namely (1) Martin’s Axiom restricted to collections of א1 dense subsets in posets of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: GANIT: Journal of Bangladesh Mathematical Society
سال: 1970
ISSN: 2224-5111,1606-3694
DOI: 10.3329/ganit.v29i0.8514